A Note on Parameterised Knowledge Operations in Temporal Logic

We consider modeling the conception of knowledge in terms of temporal logic. The study of knowledge logical operations is originated around 1962 by representation of knowledge and belief using modalities. Nowadays, it is very good established area. However, we would like to look to it from a bit another point of view, our paper models knowledge in terms of linear temporal logic with {\em past}. We consider various versions of logical knowledge operations which may be defined in this framework. Technically, semantics, language and temporal knowledge logics based on our approach are constructed. Deciding algorithms are suggested, unification in terms of this approach is commented. This paper does not offer strong new technical outputs, instead we suggest new approach to conception of knowledge (in terms of time).Comment: 10 page

Improving the method of solar radiation durability determination of cable products

The authors suggest an extra physic-mechanical procedure to determine durability of cable goods to solar radiation exposure. The test check was carried out using the standard and the proposed procedures. The results of two tests were compared and analyzed. The use of the proposed technique allows improving the validity and reliability of the laboratory experiment conducted in a real production environment and exclude the low-quality cable items. The only disadvantage of the proposed technique is its labor intensiveness

Flexural stiffness of lightweight steel-concrete slab panels made of low-density foam concrete

Lightweight steel-concrete structures (LSCS) are a type of steel-concrete structures where the filling concrete is monolithic (pouring) foam concrete with density 100-1000 kg/m3, the profile steel is lightweight steel thin-walled structures (LSTS), and fiber cement panels perform the function of non-removable formwork. As a rule, these structures are made of structural and heat-insulating foam concrete, which has good insulation and technical characteristics and sufficient strength. The object of the study is lightweight steel-concrete slab panels, which are one of the special cases of LSCS, made of monolithic foam concrete with density of 400 kg/m3. An analysis of the bending stiffness of LSBC slab panels by comparing the experimental data with analytical calculations was carried out. It was found that bendable LSCS made of monolithic foam concrete with density of 400 kg/m3 operate in physical nonlinear way. It was shown that the bending stiffness of LSCS floor panels can be determined as the sum of stiffnesses of profiled steel and foam concrete at the linear stage of work. The reliability of the proposed methodology within the limits of linear operation was demonstrated. It was proved both experimentally and theoretically that the bending stiffness of panels based on LSCS is higher than the bending stiffness of similar panels made of lightweight thin-walled steel (LTSS) by about 30%

Computing Truth of Logical Statements in Multi-Agents’ Environment

Thispaperdescribeslogical models and computational algorithmsforlogical statements(specs) including various versions ofChanceDiscovery(CD).The approachisbased attemporal multi-agentlogic. Prime question is how to express most essential properties of CD in terms of temporal logic (branching time multi-agents’ logic or a linear one), how to define CD by formulas in logical language. We, as an example, introduce several formulas in the language of temporal multi-agent logic which may express essential properties of CD. Then we study computational questions (in particular, using some light modification of the standard filtration technique we show that the constructed logic has the finite-model property with effectively computable upper bound; this proves that the logic is decidable and provides a decision algorithm). At the final part of the paper we consider interpretation of CD via uncertainty and plausibility in an extension ofthelineartemporallogicLTL and computationfortruth values(satisfiability) ofits formulas.Представленная статья посвящена построению логических моделей различных версий теории случайных открытий (СО) и описанию вычислительных алгоритмов для логических высказываний. Предлагаемый нами подход основывается на многоагентной временной логике. Главный вопрос состоит в том, как можно было бы выразить самые существенные свойства СО в терминах временной логики, многоагентной логики с ветвящимся временем или линейной логики и вообще как определить СО с помощью формул языка логики. Нами в статье введено несколько формул на языке многоагентной временной логики, которые способны выразить существенные свойства СО. Используя некоторую модифицированную стандартную технику фильтрации, мы показали, что сконструированная таким образом логика имеет свойство финитной аппроксимируемости с эффективно вычислимой верхней границей. Это доказывает, что такая логика разрешима и нами предъявлен алгоритм разрешения. В заключительной части статьи мы рассматриваем интерпретацию СО посредством неопределённости и вероятности в расширении временной линейной логики и вычисление истинностных значений её формул

Fire resistance of lightweight steel-concrete slab panels under high-temperature exposure

Lightweight steel concrete structures (LSCS) - an innovative energy-efficient building structure type that can be used both as load-bearing and as enclosing one. They consist of profiled steel - usually galvanized and cold-bent - filled with a monolithic foam concrete with a 400kg/m3 density and with fiber cement sheets sheathing. These structures can be used in industrial and civil buildings as internal and external bearing and enclosing wall structures and as slabs, energy-efficient roof covering. According to the LSCS production method, prefabricated panels (walls and slabs) and building site performed constructions are distinguished. The paper presents the testing results with the aim to determine the fire resistance limit of a slab panel fragment by bearing capacity (R), loss of integrity (E), loss of heat insulating capability (I) and fire hazard class. Two samples of a slab panel fragment were selected for the fire resistance high-temperature tests. The actual fire resistance limit of samples of the slab panel fragment is at least REI 60 with a uniformly distributed load 4 kN/m2

Критерии определения эффективности права

The subject of the article concerns the assessment of the effectiveness of law.       The purpose of the article is to identify indicators that reflect the effectiveness of the law.The methodology of the research includes complex analysis of scientific legal literature, synthesis of ideas as well as formal-legal method of interpretation of legal acts.The main results and scope of their application. More than 2500 existing normative legal acts of the Russian Federation contain various requirements for improving the efficiency of legal regulation. The complexity of the study is caused by the lack of a common understanding of the phenomenon. The effectiveness of the law is often understood by many authors as the ability to influence public relations in a certain direction useful for society; or as the ability to influence positively on social relations at the lowest cost; or as fundamental feasibility, predetermined by common knowledge, clarity and consistency of legal norms; the correspondence between the objectives of the legislator and development of social relations.           An indicator of the effectiveness of legislation is a criterion for determining the degree of achievement of the goals and objectives of legal regulation. The indicators that are offered by scientists for assessment the effectiveness of law, has logical defects. These indicators are^ frequency of application of laws that are estimated for the effectiveness (I. Samoshchenko, V. I. Nikitinsky, A. B. Vengerov); measure of conflict regulated by this norm of social relations (V. Lapaeva); proportional ratio of the number of facts of lawful behavior to the number of cases of illegal behavior (T. Geiger and E. Hirsch), etc.Conclusions. The following formula can be proposed to determine the effectiveness of the law: effectiveness = LR2–LR1, where: LR1 - initial legal relations, and LR2 – the state of legal relations on the current date. Effectiveness can be measured in this formula in a number of violations and satisfied claims and complaints. There is no direct connection with the goal of legal regulation in this formula but it is possible, to trace the dynamics of the effectiveness of law with this formula by using statistics data.Устанавливаются показатели, на основе которых можно оценить эффективность права. Анализируются критерии эффективности норм права: частота применения законов, мера конфликтности регулируемых данной нормой общественных отношений, пропорциональное отношение числа фактов правомерного поведения к числу случаев неправомерного поведения. Предложена формула эффективности права как дельта состояния правоотношений на текущую дату и исходных правоотношений, измеряемая числом нарушений и удовлетворенных исковых заявлений и жалоб